-
1 transfinite induction
Большой англо-русский и русско-английский словарь > transfinite induction
-
2 transfinite induction
-
3 transfinite induction
трансфинитная индукцияEnglish-Russian dictionary of technical terms > transfinite induction
-
4 transfinite induction
English-Russian scientific dictionary > transfinite induction
-
5 method of transfinite induction
Математика: метод трансфинитной индукцииУниверсальный англо-русский словарь > method of transfinite induction
-
6 principle of transfinite induction
Математика: принцип трансфинитной индукцииУниверсальный англо-русский словарь > principle of transfinite induction
-
7 method of transfinite induction
English-Russian scientific dictionary > method of transfinite induction
-
8 principle of transfinite induction
English-Russian scientific dictionary > principle of transfinite induction
-
9 transfinite
трансфинитный large transfinite dimension ≈ топ. большая трансфинитная размерность method of transfinite induction ≈ метод трансфинитной индукции principle of transfinite induction ≈ принцип трансфинитной индукции transfinite central series ≈ трансфинитный центральный ряд transfinite p-adic line ≈ трансфинитная p-адическая прямая - transfinite algorithm - transfinite automaton - transfinite cardinal - transfinite closure - transfinite diameter - transfinite dimension - transfinite formula - transfinite function - transfinite hierarchy - transfinite induction - transfinite number - transfinite order - transfinite ordinal - transfinite product - transfinite recursion - transfinite sequence бесконечный, безграничныйБольшой англо-русский и русско-английский словарь > transfinite
-
10 induction
1) призыв
2) индуктирование
3) индукционный
4) индукционный электротермический
5) индукция
6) наведение
7) емкостный
8) ввод
9) <engin.> асинхронный
– back induction
– complete induction
– definition by induction
– descending induction
– electrization by induction
– electromagnetic induction
– emf of mutual induction
– homopolar induction
– induction ammeter
– induction balance
– induction brazing
– induction coil
– induction drag
– induction effect
– induction field
– induction generator
– induction hardening
– induction heater
– induction heating
– induction inclinometer
– induction manifold
– induction meter
– induction motor
– induction pump
– induction smelting
– induction step
– induction string
– induction voltmeter
– induction zone
– informal induction
– magnetic induction
– mathematical induction
– motional induction
– mutual induction
– nuclear induction
– proceed by induction
– prove by induction
– residual induction
– saturation induction
– transfinite induction
axiom of complete induction — аксиома математической индукции
cored induction furnace — канальная индукционная электропечь
crucible induction furnace — тигельная индукционная электропечь
remote-indicating induction compass — компас индукционный дистанционный
-
11 induction
1) индукция, наведение, индуцирование3) впуск; всасывание4) индукционный•induction by confirmation — мат. конфирмативная индукция
induction by elimination — мат. элиминативная индукция
induction by enumeration — мат. энумеративная индукция
induction from n+1 to n — мат. индукция от n+1 к n
induction on length — мат. индукция по длине (формулы)
-
12 transfinite
-
13 principle
1) правило; принцип2) закон3) начало, первооснова, (перво)источник•- distributed maximum principle - least number principle - principle of adiabatic invariance - principle of contraction mapping - principle of extension of inequalities - principle of fixed point - principle of harmonic balance - principle of harmonic measure - principle of hyperbolic measure - principle of least squares - principle of length and area - principle of mathematical induction - principle of maximum likelihood - principle of point estimation - principle of stationary phase - principle of stochastic balance - principle of transfinite induction - principle of unsufficient reason - virtual work principle - weak likelihood principle -
14 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
15 трансфинитная индукция
Большой англо-русский и русско-английский словарь > трансфинитная индукция
-
16 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
См. также в других словарях:
Transfinite induction — is an extension of mathematical induction to well ordered sets, for instance to sets of ordinals or cardinals. Transfinite induction Let P(α) be a property defined for all ordinals α. Suppose that whenever P(β) is true for all β < α, then P(α) is … Wikipedia
transfinite induction — The proof schema corresponding to ordinary mathematical induction taken into the transfinite, i.e. defined over orderings that may be larger than the standard ordering of the set of all natural numbers. Gentzen showed that if this operation is… … Philosophy dictionary
Induction — Most common meanings * Inductive reasoning, used in science and the scientific method * Mathematical induction, a method of proof in the field of mathematics * Electromagnetic induction in physics and engineering Other articles * Induction (play) … Wikipedia
Mathematical induction — can be informally illustrated by reference to the sequential effect of falling dominoes. Mathematical induction is a method of mathematical proof typically used to establish that a given statement is true of all natural numbers (positive… … Wikipedia
Epsilon-induction — In mathematics, in induction ( epsilon induction ) is a variant of transfinite induction, which can be used in set theory to prove that all sets satisfy a given property P [ x ] . If the truth of the property for x follows from its truth for all… … Wikipedia
Ordinal number — This article is about the mathematical concept. For number words denoting a position in a sequence ( first , second , third , etc.), see Ordinal number (linguistics). Representation of the ordinal numbers up to ωω. Each turn of the spiral… … Wikipedia
Surreal number — In mathematics, the surreal number system is an arithmetic continuum containing the real numbers as well as infinite and infinitesimal numbers, respectively larger or smaller in absolute value than any positive real number. The surreals share… … Wikipedia
set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… … Universalium
Gentzen's consistency proof — Gentzen s theoremIn 1936 Gerhard Gentzen proved the consistency of first order arithmetic using combinatorial methods. Gentzen s proof shows much more than merely that first order arithmetic is consistent. Gentzen showed that the consistency of… … Wikipedia
Large countable ordinal — In the mathematical discipline of set theory, there are many ways of describing specific countable ordinals. The smallest ones can be usefully and non circularly expressed in terms of their Cantor normal forms. Beyond that, many ordinals of… … Wikipedia
Well-founded relation — In mathematics, a binary relation, R, is well founded (or wellfounded) on a class X if and only if every non empty subset of X has a minimal element with respect to R; that is, for every non empty subset S of X, there is an element m of S such… … Wikipedia